Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
321	JFP 19 (6): 699–722, c Cambridge University Press 2009 699 Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2009-11-01 21:42:18 Logic in computer science Programming language semantics Models of computation Denotational semantics Operational semantics Structure Lambda calculus Theoretical computer science Mathematics Mathematical logic
322	A Blame for All (revised) Amal Ahmed, Northeastern University James T. Perconti, Northeastern University Jeremy G. Siek, Indiana University Philip Wadler, University of Edinburgh Add to Reading List Source URL: wphomes.soic.indiana.edu Language: English - Date: 2014-08-14 08:06:44 Lambda calculus Computer science Fixed-point combinator Simply typed lambda calculus Typed lambda calculus Polymorphism System F Type system Type safety Theoretical computer science Mathematics Type theory
323	Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of Computer Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:44 Model theory Formal methods Propositional calculus Predicate logic Function Lambda calculus Forcing Well-formed formula Atomic formula Logic Mathematical logic Mathematics
324	Towards an algebraic classification of recognizable sets of lambda-terms1 Sylvain Salvati INRIA Bordeaux sud-ouest, LaBRI, universit´ e de Bordeaux Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2011-01-28 01:56:16 Models of computation Computability theory Lambda calculus Spectral theory Formal language Theoretical computer science Mathematics Applied mathematics
325	The Call-by-need Lambda Calculus, Revisited Stephen Chang and Matthias Felleisen College of Computer Science Northeastern University Boston, Massachusetts, USA { stchang \| matthias } @ ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-08-23 01:51:44 Theoretical computer science Lambda calculus Computability theory Evaluation strategy Calculus Free variables and bound variables Function Parameter Algorithm Mathematics Mathematical logic Applied mathematics
326	Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-08-02 07:15:47 Type theory Logic in computer science Dependently typed programming Formal methods Lambda calculus Twelf Higher-order abstract syntax Logical framework Frank Pfenning Theoretical computer science Mathematics Programming language theory
327	Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:53 Mathematical logic Deduction Proof theory Dependently typed programming Type theory Natural deduction Entailment Symbol Calculus of constructions Logic Theoretical computer science Lambda calculus
328	ACM SIGPLAN Continuation Workshop Saturday, September 24, 2011 Tokyo, Japan (co-located with ICFP) Session 1 (chair: Yukiyoshi Kameyama) 9:00–10:00 Continuations and classical logic: using continuations as a tool for l Add to Reading List Source URL: logic.cs.tsukuba.ac.jp Language: English - Date: 2011-09-18 11:21:43 Lambda calculus Type theory Functional programming Control flow Continuations Delimited continuation Curry–Howard correspondence Typed lambda calculus Monad Software engineering Computing Computer programming
329	Profiling For Laziness Matthias Felleisen Stephen Chang Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-11-08 13:58:15 Functional languages Procedural programming languages Formal methods Lambda calculus Functional programming Lazy evaluation Pseudo-ring Laziness Combinatory logic Software engineering Computing Computer programming
330	The Complexity of Flow Analysis in Higher-Order Languages David Van Horn The Complexity of Flow Analysis in Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-08-14 14:13:52 Models of computation Notation Programming language Lambda calculus Control flow analysis Algorithm International Conference on Functional Programming Functional programming Computational complexity theory Theoretical computer science Applied mathematics Computer science

UPDATE